Tech companies that provide navigation apps are contending with how to handle President Trump’s renaming of Lake Ontario amid a trade war with Canada.