President Trump trolling DeSantis on his Twitter announcement.