a battleship is part of a battlegroup.