Unfortunately, I did not find the token that you are talking about, although I remember the HAVVEN token and it seems I even participated in their ICO (maybe I also received a drop in their tokens then).
If you believe you might have received the airdrop, it's really worth checking any ETH addresses you might have used back in those days. It's a 3-figure amount waiting to be claimed. Check all your ERC-20 token holdings, you might get lucky. It's probably towards the bottom of the list since the old Havven tokens migrated to another smart contract address.