Every person employed in a mine shall be allowed, with wages, such festival holidays as are declared by the appropriate Government to be public holidays. ...