Title: Biographical memoir of Capt-David Porter