Ceylon’s role in World War II