John Glenn, an American hero