Yes, folding KK with only 5 players is a big mistake. He could have had KQ, or AK, AQ, or even AJ as well. Push.