A Naval Biographical Dictionary/Abbreviations in Appendix