Contemporary and historic naval warfare