Don’t destroyers keep an eye out for enemy vessels? They were lucky it was a relatively benign tanker.