South Korea: Govt formally sets presidential election for June 3

South Korean govt sets presidential election for June 3