If a HEAT anti-tank warhead was mounted on anti-ship missiles, could they be used against battleships?