Trump, other Quad leaders to meet in Manila on Tuesday, sources say