Question: how many times has the us formally declared war
Answer: five