Title: A short sketch of the history and principles of marine insurance