Сколько президентов США служило на флоте во время Второй мировой войны?