U.S. launches strikes on Iran over killing of troops in Jordan