Thailand’s government authorized an additional public holiday on July 31 to provide most workers a six-day break in...