Journal of executive proceedings of Senate. v. 99, pt. 3. 85th Congress. 1st session, 1957, Navy and Marine Corps indexes.