Two carrier battle groups plus Bataan ARG.
https://news.usni.org/2020/03/09/carrier-uss-dwight-d-eisenhower-operating-in-red-sea#more-74253
There was another around. May have left. Yeah: “source” is fair...