Double Decker bus just out of Laramie on I-80