August 15 is a national holiday in Korea – and it’s the only one that…