A 1500-MeV Fixed-Field Alternating-Gradient Synchrotron for a Pulsed-Spallation Neutron Source