Yes, if they are supplied by a 3Ø system, you will divide by 1.732
460 / 208 = 2.21A (load per fixture)
2.21A X 60 = 132.6 (total load)
132.6A / 1.732 = 76.6 (load @208v 3Ø)
76.6A X 1.25 = 95.6A (if a continuous load)

Looks like a 100A contactor to me!