Patrick is a 10-year old patient who presents with uncomfortable constipation. Along with diet changes, a laxative is ordered to provide more rapid relief of constipation. The most appropriate choice of medication for a 10-year old child would be: