I would suggest this pro ressource, one of the oldest MIDI file producer (90’s !!!) : https://www.midifiles.com.