With public broadcasters pressured by the Trump administration, PBS shuts down its diversity office