Jaderná ponorka britské armády se u Gibraltaru srazila s obchodní lodí