20170724 world.us: Donald Trump tweets frustration with Republicans; health care