har efter en sammanstötning med en engelsk pansärbåt sjunkit i Medelhafvet strax utanför Gibraltar.