A Naval Biographical Dictionary/Porter, William