Help. What are these called exactly? I know they are an “eyelet”. But I can’t find this style online.