Title: Probability model for a convoy threatened by a submarine launched missile