WPD update on search for Lucas Hernandez