North Koreans swim and play at a beach resort touted as a boost for tourism