Recent progress in marine noise pollution: A thorough review.