Commando dies in US raid in Yemen, first military op OK'd by Trump