Definition of MARINE.