Like him or not, would we be in this foreign policy mess, if Donald Trump were still president?