Did Hayley Mills star in Tonka and Summer Magic?