Otto Warmbier, who was released from North Korea in coma, died