what indonesia service channel has a channel available with english-language?
(AND government.government_service_channel (JOIN government.government_service_channel.available_language m.02h40lc))