Decisions of Geographic Board: [Place names] Yellowstone National Park, W.vo., May 7, 1930.