Question: congress has formally declared war times in u.s. history?
Answer: five