蒙溪水

即岳池水。今四川岳池、武胜二县境之街子河。《寰宇记》 卷138岳池县： “蒙溪水一名岳池水，在县东北五十里。源出岳安山，东流至故县镇西。本是思岳池，因以名县焉。”