Admiral of the Ocean Sea. A Life of Christopher Columbus.