The top official at the U.S. Postal Service said Thursday that the agency has stopped work on developing a controversial computer system that was central to President Donald Trump’s effort to limit mail voting after the Supreme Court rejected his executive order this week.