Remote SSH fails with "No route to host" on non-standard port despite valid SSH config