A Naval Biographical Dictionary/Irvine, Thomas Johnson