I have a requirement where I want to group by one column of a pandas dataframe and take any random rows for the other columns. For example, the dataframe could be: