Is it for real that Trump mentioned to change the Gulf of Mexico to the Gulf of America but he didn’t even mention Bitcoin once after tweeting about it?