9. Where a ship has a gross tonnage determined in accordance with the Tonnage Convention but the State whose flag the ship flies or is entitled to fly permits the use of some other gross tonnage, the “gross tonnage” of the ship is the smaller of—
(a)the largest gross tonnage permitted by the flag State to be used for that ship; and
(b)the gross tonnage determined in accordance with the Tonnage Convention.