Posterior decompression with instrumented fusion for thoracic myelopathy caused by ossification of the posterior longitudinal ligament