super mario in red dead redemption 2