. Register of Officer Personnel: United States Navy and Marine Corps and Ships' Data, 1801-1807, Washington, DC: Government Printing Office, .