Trump threatens military operation against Colombia, after Venezuela raid