The Gulf Princess funnel follows the Mitchell collection.
Mitchell records this namesake for Gulf Princess, sold in 1988.
Panama, possibly the ship’s registry rather than company domicile.
Keep the explicit scope label independent; no alias or company identity is inferred.