Actually not, 30 attacks x 120 men + 70 destroyers x 300 = 3600 + 21000=25,000.
Now adding 25,000 REAL SAILORS may be an interesting exercise in this PC world but it isn't a pimple on the 1.3M DoD active duty manning roster and 1.1M civilians + contractor administrative base, or whatever the numbers actually are.