Credit: Courtesy National Park Service Rest easy, nation: The White House sinkhole is set to be fixed