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.141.83.45
Name:	portal.diri.mx
Address: 16.58.129.254
Name:	portal.diri.mx
Address: 3.20.29.76