A Naval Biographical Dictionary/Miller, Robert Boyle