[Utah-astronomy] O'Keefe leaving NASA?