Should sea cocks (under the water line) be ball valves or gate valves?