How many children did Richard rodgers have?