Should children taking warfarin take over-the-counter medicine without first checking with their health care providers?