The ship's IMO number without the IMO prefix.