Edward “Ted” Kennedy has died