Trump announces death of ISIS leader