Next question: congress has formally declared war times in u.s. history?
five