A Tren de Aragua Leader Is Killed in a Joint Strike, U.S. and Venezuela Say