蓝田红门寺这个山洞，网友投稿叫刘家洞，再往前走，还有一个洞叫红旗洞，这个洞是当年