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

Non-authoritative answer:
Name:	portal.diri.mx
Address: 3.142.139.90
Name:	portal.diri.mx
Address: 3.134.26.96