Я тоже так думаю, т.к учитывая, что корейцы геоданные генерируют автоматически, возможно там есть какой-то не уловимый глазом угол у поверхности, из-за которого билдер выгрузил эти данные с учетом перепада высот внутри. Опять же, в игре вроде разницы нет, если использовать Math.max()