Mukden (nombre propio): Nombre tradicional de la ciudad de Shenyang, Manchuria.