tdrs-k is considered what type?
(AND spaceflight.satellite_type (JOIN spaceflight.satellite_type.satellites m.0nbm656))