US boosts military presence in Puerto Rico as Trump escalates tensions with Venezuela