PolitiFact Gets the Question of the U.S. Navy’s Size Wrong