Ancient Roman theater at Leptis Magna, Libya