A network admin is configuring an application and needs to be sure that port 4432 is open what tool should the admin use?