A Naval Biographical Dictionary/Austin, Horatio Thomas