Question: Name the action role-playing video game developed by Guerrilla Games and published by Sony Interactive Entertainment for the PS4 which features the character Sylens whose voice and likeness was provided by American actor and musician Lance Reddick?

full_context: Document 1: The Last of Us Part II: The Last of Us Part II is an upcoming action-adventure survival horror video game developed by Naughty Dog and published by Sony Interactive Entertainment for PlayStation 4. It was announced at the PlayStation Experience event in December 2016, and will serve as the sequel to 2013's "The Last of Us".
Document 2: Troy Baker: Troy Edward Baker (born April 1, 1976) is an American voice actor and musician known for portraying lead characters in video games. He has voiced Joel in "The Last of Us", Booker DeWitt in "BioShock Infinite", Delsin Rowe in "Infamous Second Son", The Joker in "" and "", Rhys in "Tales from the Borderlands", Talion in "", Sam Drake in "" and "", Jack Mitchell in "", Vincent Brooks in "Catherine", Yuri Lowell in "Tales of Vesperia", Pagan Min in "Far Cry 4". He also voiced in a number of English adaptations of Japanese anime shows, including "", "Trinity Blood", "Fullmetal Alchemist", and "". He has also voiced Hawkeye in a number of Marvel-related animation and video games.
Document 3: Horizon Zero Dawn: Horizon Zero Dawn is an action role-playing video game developed by Guerrilla Games and published by Sony Interactive Entertainment for PlayStation 4 and released in early 2017. The plot revolves around Aloy, a hunter and archer living in a world overrun by robots. Having been an outcast her whole life, she sets out to discover the dangers that kept her sheltered. The character uses ranged weapons and a spear and stealth tactics to combat the mechanised creatures, whose remains can be looted for resources. A skill tree provides the player with new abilities and passive bonuses. The game features an open world environment for Aloy to explore, divided into tribes that hold side quests to undertake, while the main story guides her across the entire map.
Document 4: Until Dawn: Until Dawn is an interactive drama survival horror adventure video game developed by Supermassive Games and published by Sony Computer Entertainment for PlayStation 4. It was originally scheduled to be released for PlayStation 3 and feature PlayStation Move support, but in August 2014 the game was re-introduced as a PlayStation 4 exclusive title, and was released worldwide in August 2015.
Document 5: Idris Elba: Idris Akuna Elba {'1': ", '2': ", '3': ", '4': "} ( , born 6 September 1972) is an English actor, producer, musician, and DJ. He is known for playing the narcotrafficker Stringer Bell in the HBO series "The Wire", DCI John Luther on the BBC One series "Luther", and Nelson Mandela in the biographical film "" (2013). He has been nominated four times for a Golden Globe Award for Best Actor in a Miniseries or Television Film, winning one, and was nominated five times for a Primetime Emmy Award.
Document 6: Lance Reddick: Lance Reddick (born December 31, 1962) is an American actor and musician. He is best known for portraying Cedric Daniels in "The Wire" and Phillip Broyles in "Fringe". He is also known for playing Detective Johnny Basil on "Oz" and Matthew Abbadon in the fourth and fifth seasons of "Lost". Additionally, Reddick provided both the voice and likeness for video game characters Martin Hatch in "Quantum Break" and Sylens in "Horizon Zero Dawn". He voices the character Commander Zavala in the "Destiny" video game franchise.
Document 7: The Last of Us: The Last of Us is an action-adventure survival horror video game developed by Naughty Dog and published by Sony Computer Entertainment. It was released for the PlayStation 3 worldwide on June 14, 2013. Players control Joel, a smuggler tasked with escorting a teenage girl named Ellie across a post-apocalyptic United States. "The Last of Us" is played from a third-person perspective; players use firearms and improvised weapons, and can use stealth to defend against hostile humans and cannibalistic creatures infected by a mutated strain of the "Cordyceps" fungus. In the game's online multiplayer mode, up to eight players engage in cooperative and competitive gameplay.
Document 8: Harold Perrineau: Harold Perrineau (formerly Harold Williams; born August 7, 1963) is an American actor, known for the roles of Michael Dawson in the U.S. television series "Lost", Link in "The Matrix" films and games, Augustus Hill in the American television series "Oz", Damon Pope in the FX bike gang drama "Sons of Anarchy", and Mercutio in Baz Luhrmann's "Romeo + Juliet". He starred in ABC's comedy-drama television series "The Unusuals", playing NYPD homicide detective Leo Banks and has appeared in several high-profile films, including "The Best Man", "28 Weeks Later", "", and "Zero Dark Thirty". He also starred alongside Anthony Hopkins and Alec Baldwin in the survival drama "The Edge".
Document 9: Chad Coleman: Chad L. Coleman (born September 6, 1974) is an American actor. He is best known for portraying Dennis "Cutty" Wise on the HBO crime drama series "The Wire" (2004–2008), voicing Coach in the video game "Left 4 Dead 2", and portraying Tyreese Williams on the AMC post-apocalyptic horror series "The Walking Dead" (2012–2015). He currently stars in the Syfy series "The Expanse" as Fred Johnson, a.k.a. "The Butcher of Anderson Station", and starred in History Channel's re-imagining of the miniseries "Roots" airing the week of May 30, 2016.
Document 10: List of accolades received by The Last of Us: "The Last of Us" is an action-adventure survival horror video game developed by Naughty Dog and published by Sony Computer Entertainment. Players assume control of Joel (Troy Baker), escorting the young Ellie (Ashley Johnson) across a post-apocalyptic United States. The game's development was led by Bruce Straley and Neil Druckmann, as game director and creative director, respectively. The game was officially announced on December 10, 2011, and was widely anticipated. It was awarded Most Anticipated Game from PlayStation Universe and Cheat Code Central, receiving a nomination at the 2012 Spike Video Game Awards.
Document 11: God of War (2018 video game): God of War (commonly referred to as God of War 4) is an upcoming third-person action-adventure video game in development by Santa Monica Studio and to be published by Sony Interactive Entertainment (SIE). It is scheduled to be released in early 2018 for the PlayStation 4 (PS4) console. It will be the eighth installment in the "God of War" series, the eighth chronologically, and the sequel to 2010's "God of War III". The game will be a soft reboot for the franchise and will take the series to the world of Norse mythology—all previous games were based on Greek mythology. Series protagonist Kratos will return as the main character, and he now has a son named Atreus. Kratos acts as a mentor and protector to his son, and has to master the rage that has driven him for many years.
Document 12: Decima (game engine): Decima is a proprietary game engine developed by Guerrilla Games, released on November 15, 2013. It houses tools and features for creating artificial intelligence, physics, logics and worlds within development as well as compatibility with 4K and HDR. It is best known for its use in "Killzone Shadow Fall", "Until Dawn", "" and "Horizon Zero Dawn", as well as the upcoming game "Death Stranding".
Document 13: Jeffrey Wright: Jeffrey Wright (born December 7, 1965) is an American film, television and stage actor. He is known for such roles as Belize in the HBO miniseries "Angels in America", Jean-Michel Basquiat in "Basquiat", Felix Leiter in the James Bond films "Casino Royale" and "Quantum of Solace", Valentin Narcisse in the HBO series "Boardwalk Empire", and Beetee in "The Hunger Games" films. He currently stars as Bernard Lowe in the HBO series "Westworld".
Document 14: Uncharted: Uncharted is an action-adventure third-person shooter platform video game series developed by Naughty Dog and published by Sony Interactive Entertainment for PlayStation consoles. The series follows protagonist Nathan "Nate" Drake (portrayed by Nolan North through voice and motion capture) a charismatic yet obsessive treasure hunter who journeys across the world to uncover various historical mysteries. The main series began with "" released on the PlayStation 3 in 2007, followed by its sequels "" (2009), "" (2011), with the final installment "" released on the PlayStation 4 in 2016. A prequel, "", was released for Sony's PlayStation Vita handheld system in 2011, followed by the card game spin-off "" in 2012. A standalone expansion to the series, "", was released in 2017, with Chloe Frazer as the game's playable protagonist.
Document 15: Ryan Sands: Ryan Sands is best recognized as Officer Lloyd "Truck" Garrick on "The Wire" and has since made one off appearances in shows such as "Grimm", "Castle", "Scorpion", "NCIS" and "Prison Break". Sands was cast as Geoffrey Wilder in the Hulu adaptation of "Marvel's Runaways".
ground_truth: Horizon Zero Dawn