Trump: Hazma bin Laden killed in U.S. operation