Consider the integral $J = \int_0^{\pi/2} \ln(\sin x) dx$. Given that $J = -\frac{\pi}{2} \ln 2$, evaluate $K = \int_0^{\pi/2} \ln(\sin x + \cos x) dx$.