A brief history of the great mosque of Banda Aceh, Aceh, Indonesia.