The area formerly known as the “Badlands National Monument”, established by Presidential Proclamation of January 25, 1939 (53 Stat. 2521), shall henceforth be known as the “Badlands National Park”.