a aircraft carrier is part of a battlegroup.