A 10-year-old boy is evaluated for tall stature. Examination reveals dolichostenomelia, pectus excavatum, pes planus, and a positive wrist sign. Echocardiogram is pending. His ophthalmologist recently diagnosed ectopia lentis. Which of the following is the most likely diagnosis?