A Naval Biographical Dictionary/Robins, William Stocker