This is probably simple but I am seeking to use the right terms when seeking an adapter. I just replaced a Lenovo with a full sized external monitor HDMI port (top photo) with an ASUS VivoBook that has a smaller HDMI port (bottom photo). I don't know if these ports have different names. But I am seeking an adapter that allows for using the 15 plug HDMI in the smaller laptop port. Pardon my ignorance, but is this possible and what terms should I use when seeking an adapter - assuming there is one? Thanks all. D.