who was executed for being an american spy during the revolutionary war