How about this for a headline...
Tump is a coward for trying to call out DeSantis without actually using his name
That’s the point, he did not use DeSantis’ name so we have no idea who exactly Trump was talking about. We don’t even know if Trump knew DeSantis had been asked about the booster.
It does strike me as kinda gutless of him not to name who he was talking about.