Libya during World War II