The Republican Executive Committee endorses Donald J. Trump for President of the United States