$PLTR did options for the week expire already? Or is it end of regular market hours?