Historical nautical maps show coral loss more extensive than previously believed