Trump is annoyed when people use 'ISIL' instead of 'ISIS' – or is he?

President Trump regularly attacked President Obama for using the acronym "ISIL" to refer to Islamic State militants, rather than ISIS. But his administration just released a document that uses "ISIL" 14 times.