Category:Ceylonese military personnel of World War II