Highlights South Korean Yonhap Agency: DPRK launches ballistic missile into the East Sea, also known as the Sea of Japan 18 Jul 22:11