NFT Trades in Bitcoin with Off-chain Receipts