Krise in Venezuela: Trump spricht von militärischer Option