Soldiers cast lots for Jesus’ robe