Sen. Mike Lee at the World War II memorial