Speaker of the House Donald J. Trump?