BTW, anyone have a link to a text of Trump’s message to Iran after the ISIS attack? I only heard a recap of it on TV, and it sounded basically like “Sorry for your losses, but you deserved it”