OT: Obama and use of "ISIL" vs "ISIS"