Letter to the Editor: Thomas Johnson not appropriate for a school’s name