HASC NDAA markup challenges Space Force on satellite programs