A Naval Biographical Dictionary/Abbreviations