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

Non-authoritative answer:
Name:	portal.diri.mx
Address: 16.58.236.145
Name:	portal.diri.mx
Address: 3.21.131.10