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