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.131.191.148
Name:	portal.diri.mx
Address: 3.21.216.199