Confusion over double public holidays on Sept 16; will Sept 17 be an additional paid holiday? 8 hours ago