Renaming US military bases – is this really necessary?