Definition of Mariner