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: 13.58.175.247
Name:	portal.diri.mx
Address: 3.130.233.192
Name:	portal.diri.mx
Address: 3.138.227.117