A 4-year-old child with short stature, pulmonary valve stenosis, and hypertelorism is suspected of having a RAS/MAPK pathway disorder. What is the most likely diagnosis?