As I read the story, the Carl Vinson battle group of 4 ships was in the Asian sea headed for Australia, not in the area as a deterrent to N Korea activity.
Actually, the battle group has seven ships including the nuclear powered aircraft carrier, the Carl Vinson. Yes, it was headed to Australia, but was ordered to change course, and is expected in the Korean oceans within the week.
This is a nothing burger story. I have no clue as to why it was written, except as a part of the continuing theme, "Trump is not our president."
Hard to believe that grown men and women would act so childish as to press forward this theme, when their job used to be "investigative reporters," not pundits of Democrat propaganda.