שיקום בריכות שלמה בידי הבריטים; הבריכה העליונה