[bgreene]

It was posted as DESTROYER - who changed it ?
Or auto filled and I didn’t notice.

I have no idea if destroyer was such a thing, nor do I care.
It’s irrelevant to me .