That third player should have said nothing and should get a warning. If he starts to give any argument, tell him the "One player to a hand" rule. If that doesn't work, remind him that Phil Ivey folded a flush.
That said, as long as the cards were still identifiable and retrievable, the hand is live and the player who had prematurely mucked his straight should win the pot.