Trump used the military to target a Venezuelan vessel. Is it legal?