WSJ National Security Reporter Robbie Gramer explains the rationale behind President Trump's military operation in Venezuela ...