Types of marine vehicles.