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