જો પ્રવાસી ધોધમાં જવા માટે નકશા પર ધ્યાન કેન્દ્રિત કરે છે, તો તે નોંધવું જોઇએ કે તળાવનું સત્તાવાર નામ છે- વૈદ્રીયા.