Journal of executive proceedings of Senate. v. 100, pt. 3. 85th Congress, 2d session, Navy and Marine Corps indexes.