Hat Trumps Exekutivverordnung tatsächlich versprochen, Bitcoin zu kaufen?