Apparently we can’t take Trump literally even when it comes to going to war.
http://www.washingtonpost.com/