After President Donald Trump issued an executive order calling for the name change, a state representative introduced a bill to enshrine the change into state law.