Debate continues over future of Washington and Lee’s name