Yangling District — district in Shaanxi Province, China