Original: So far, due to lack of direct observations, it is unknown if Tip maintains the world record.
Simplified: Because of this, it is unknown if Tip still has the world record.