I did not know that:
Police said a hotel worker found the guns inside a trash can around 9 a.m. and alerted police. Both guns had one round in the chamber and two in the clip.
Police called the ATF, who ran the serial number. According to the ATF and FBI, the way the gun was loaded is consistent with a professional hit.
My hypothesis is the “ATF and FBI” either didn’t say that or are just making random stuff up.