Marine insurance: a text book of the history of marine insurance, including the functions of Lloyd's Register of Shipping.