If it was up to me, I would hit them even if they were hiding in a mosque.
Why not? In Iraq they blow up each others' mosques! Any massing of 200 Talibans needs to be obliterated, no matter where they are. Appropriate "regrets" to be issued in due course through diplomatic channels. Of course.