Ted Cruz, the Senate, & Panama Canal