While Grok's footprint in the Philippines is small, the process of blocking the AI chatbot would still take coordination with internet service providers, DICT Secretary Henry Aguda says