Station Names in English 

I revised some of the Korean-to-English translations for the train station names. But we should find the official translations and add a footnote to the source (e.g., an official brochure or a tourist handbook published in Pyongyang).