Read CNN’s Fast Facts about the Korean War. Although hostilities ceased in 1953, there has been no formal end to the war.