Trump, Other Quad Leaders to Meet in Manila on Tuesday, Sources Say