Also a funny trump red card