Ceylon : Ordinance: employment of women (mines)