Number of Companions in Ghadir Khumm on the day of Ghadir