Does The Ramaco Resources, Inc. (NASDAQ:METC) Share Price Fall With The Market?