The boundary of Hot Springs National Park is modified as depicted on the map entitled Proposed Boundary Map, numbered 128/80015, and dated August 5, 1985.