Official disclosures and open-source satellite imagery reveal the locations of four U.S. aircraft carrier strike groups.