How Trump's tone on Baghdadi's death compares to Obama's tone on bin Laden