Just to give a bit of proportional perspective, USS Gerald R. Ford's air group, plus or minus the helicopters on accompanying DDGs, outnumbers the air power of Venezuela's military - air force and army. The Ford also has support from USAF AWACS and satellites as required. God knows how many and what types of missiles are deployed in the Ford's task group, which probably includes at least one SSN.
Trump isn't planning to invade Venezuela, and does not intend to attack Venezuela as a country. Venezuela might be stupid enough to provoke the latter, though.