Is Donald Trump ending the era of US military intervention? Bring it on!