Evaluating the impact of accounting for coral cover in large‐scale marine conservation prioritizations. Issue 10 (1st July 2019)