A Day in the Life of a DEVGRU Operator