Galaxy Note 10, il modello più grande potrebbe chiamarsi "Pro"