La decisione dopo l'ordine esecutivo firmato da Trump. Ma per il resto del mondo rimane la doppia denominazione. Un viaggio nelle dispute fra stati sui nomi di golfi, isole e mari