UPDATE: Body of Lucas Hernandez found