a destroyer is part of a battlegroup.