May 4 to be extra holiday in Thailand

http://englishnews.thaipbs.or.th/may-4-extra-holiday