When was the the ship launched ,that along with the Tripitz and the Lützow was a target for  Operation Source ?