A Naval Biographical Dictionary/Roche, Joseph