Compendium of maritime labour instruments (International Labour Organization, 2015)