i Gibraltars sund med en last af 130 döda , som der högtidligen nedsänktes i djupet.