. "In addition, the drydock will be large enough to service private vessels, including post-Panamax cargo ships and cruise ships." . . .