The US hasn't formally declared war since World War II.