Gibraltar bör genast anläggas en bassin och en docka för att skydda en der b.fiutlig flotta mot fiendthgatorpedo