Title: The cost and benefits of reduced manning for U.S. Naval combatants