shell:$ nslookup -timeout=2 -retry=1 'portal.tmais.cv'
Server:		127.0.0.53
Address:	127.0.0.53#53

Non-authoritative answer:
portal.tmais.cv	canonical name = tmais.cv.
Name:	tmais.cv
Address: 41.79.124.84