north korean runners cut marathon course