The play Andre is a fictionalized account of whether to spare or hang Major John Andre for his role in treason of which person who was a general in the American Revolutionary War that later defected to the British Army?