Tradition and Intervention in Indonesian Mosque Architecture: Islam, Colonialism, and Local Culture · Study