The Cabinet has resolved to declare Friday October 14 an extra holiday so that Thais will have time to mourn the passing of His Majesty the King.