Title: The life of Michael Adrian de Ruyter admiral of Holland