“姜维井”的故事是怎样的？

在剑门关外的牛头山上，有一汪直径3米、水深1米、呈椭圆形的水池，当地人称之为“姜维井”或“姜维拜水池”。相传262年，姜维在剑门关作战时曾败退到牛头山。因为牛头山没有水源，将士们处境很艰难。到了晚上，姜维梦见诸葛亮给托梦，要他设坛拜水。第二天，姜维命兵士挖好池子，设祭坛，焚香烛，对池跪拜。但跪拜了三天三夜都未见水，姜维很焦虑，便派手下察看，手下回报“无水”；第三天，前去查看的手下还是回报“无水”。后来，派去的第三个手下前去察看，仍无水，但这个士兵见前两人如实回报的时候，姜维很不高兴，就撒谎说“有半池水”。姜维半信半疑，第四次派手下再去察看，士兵回报说：“的确有半池水。”姜维很高兴，说：“即使有半池水也够了。”从那时起，这汪拜水池不管天气是否干旱，或者雨水多么充沛，池中的水从来都不满，无论多少人去饮用或者打水，池内始终保持半池水。最神奇的是，这个水池的位置比阆水水面还要高730多米，但池内的水色却始终随阆水的变化而变化。江水清时池水也清，江水浑时池水也浑。后来，当地人在拜水池附近建了一座牛王庙，庙内塑有姜维像，来这里瞻仰和取水的人络绎不绝。