Just shop for 9/16" pedals. Any will work...

and if the size isn't listed and they're less than 30 years old, they're guaranteed to be 9/16"