Pipe replaced after water main break in Royal Palm Beach