You should operate as if no one else has filed the police report and file one yourself. It is important to have a police report. Don’t assume the bus driver will call the police.