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: 77.113.157.196
Name:	portal.diri.mx
Address: 13.184.143.152