Based on this paragraph, what is the diameter of a 10 F Foley catheter in mm?