informal term for a destroyer