where is the ship class defined?