PBS sues Trump administration over executive order targeting public broadcasting.