That’s just a bit less than the U.S. spent during the entirety of World War II.