Fair enough. After further research, it seems indeed true that Ostia was only a harbor of commerce and trade, not a naval port. EB is right once again.