I wrote an app using WinForms in C#, part of which was to access a device on my local network using its name rather than IP address. This used the function Dns.GetHostEntry() which works as expected. I then created an Android application using Xamarin forms and found that this function is not supported. What is the recommended method of obtaining the IP address from the host name on this platform?