Category:Military history of Ceylon in World War II