Is it pedantic to point out Trump is ‘ending’ a war he started?