Trump and the military option